| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Microcontroller Programming and Debugging | Mikrocontrollerprogrammierung und Fehlersuche | Fach-/Modulprüfung | 6 | 530387 | ||
| Mikrocontrollerprogrammierung und Fehlersuche | Vorlesung/Übung | 527000 | Di 12:30-14:00 H09 (1385|220) (×12) Mi 08:30-10:00 H11 (1385|218) (×13) | |||
| Mikrocontrollerprogrammierung und Fehlersuche | Vorlesung/Übung | 527000 | Di 12:30-14:00 H09 (1385|220) (×12) Mi 08:30-10:00 H11 (1385|218) (×13) | |||
| Data Communication | Datenkommunikation | Fach-/Modulprüfung | 6 | 531707 | ||
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 510423 | Di 14:30-16:00 3220|259 (×13) Mi 14:30-16:00 3220|259 (×12) | ||
| Functional Safety and System Dependability | Funktionale Sicherheit und Systemzuverlässigkeit (SS) | Fach-/Modulprüfung | 6 | 531304 | ||
| Funktionale Sicherheit und Systemzuverlässigkeit | Vorlesung/Übung | 534290 | Di 14:30-16:00 H09 (1385|220) (×13) Do 12:30-14:00 H06 (1385|004) (×10) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Rapid Control Prototyping | Rapid Control Prototyping | Fach-/Modulprüfung | 5 | 527922 | ||
| Rapid Control Prototyping (RCP) | Übung | 525383 | Di 10:15-11:45 ZuseLab C1 (2315|107) (×13) Di 10:15-11:45 ZuseLab C2 (2315|106) (×13) | |||
| Rapid Control Prototyping (RCP) | Vorlesung | 524632 | Di 08:30-10:00 PPS H2 (2315|001) (×14) | |||
| Software Quality Assurance | Software-Qualitätssicherung | Fach-/Modulprüfung | 6 | 531253 |